|
|
1.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
|
2.
|
Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : Proceedings
by Boyd, Colin | Mao, Wenbo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOY] (1).
|
|
|
3.
|
Security Protocols : 10th International Workshop, Cambridge, UK, April, 2002 : Revised Papers
by Christianson, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHR] (1).
|
|
|
4.
|
DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers
by Chen, Junghuei | Reif, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHE] (1).
|
|
|
5.
|
Advances in cryptology : CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004 : proceedings
by Franklin, Matt. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 FRA] (1).
|
|
|
6.
|
Secure data management : VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 2004 ; proceedings
by Jonker, Willem | Petkovic, Milan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 JON] (1).
|
|
|
7.
|
Distributed computing and internet technology : First International Conference, ICDCIT 2004 Bhubaneswar, India, December 2004 ; proceedings
by Ghosh, R. K | Mohanty, Hrushikesha. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 GHO] (1).
|
|
|
8.
|
Algorithms and computation : fifteenth international symposium, ISAAC 2004 Honh Kong, China, December 2004 ; proceedings
by Fleischer, Rudolf | Trippen, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 FLE] (1).
|
|
|
9.
|
Journal on data semantic II
by Bertino, Elisa | Jajodia, Sushil | King, Roger | Spaccapietra, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 SPA] (1).
|
|
|
10.
|
Database theory - ICDT 2005 : tenth international conference Edinburgh, Uk, January 2005 ; proceedings
by Eiter, Thomas | Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 EIT] (1).
|
|
|
11.
|
Semantic web services and web process composition : first international workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004 ; revised selected papers
by Sheth, Amit | Cardoso, Jorge. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 CAR] (1).
|
|
|
12.
|
Evolutionary computation in combinatorial optimization : fifth European conference, EVOCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings
by Gottlieb, Jens | Raidl, Gunther R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
|
|
|
13.
|
Genetic programming : eigth European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005 ; proceedings
by Keizer, Maarten. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KEI] (1).
|
|
|
14.
|
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
by Rust, Heinrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
|
|
|
15.
|
Dependable Computing EDCC 2005 : fifth European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 ; proceedings
by Dal Cin, MArio | Kaaniche, Mohamed | Pataricza, Andras. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 DAL] (1).
|
|
|
16.
|
Recent Advances in Intrusion Detection : 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : Proceedings
by Vigna, Giovanni | Jonsson, Erland | Kruegel, Christopher. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 VIG] (1).
|
|
|
17.
|
Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001: Proceedings
by Kim, Kwangjo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 KIM] (1).
|
|
|
18.
|
Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings
by Naccache, David | Paillier,Pascal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NAC] (1).
|
|
|
19.
|
Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
by Anderson, Stuart | Bologna, Sandro | Felici, Massimo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
|
|
|
20.
|
Security protocols : 9th international workshop Cambridge, UK, April 25-27, 2001
by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CHR] (1).
|
